Formal methods

Results: 2204



#Item
901CHALLENGING PARADIGMS IN HEALTH INFORMATICS By Vivek Singh

CHALLENGING PARADIGMS IN HEALTH INFORMATICS By Vivek Singh

Add to Reading List

Source URL: assets.thoughtworks.com

Language: English - Date: 2015-03-12 15:18:34
902Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o

Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2013-06-03 12:43:37
903Infrastructure Projects Collaborative Working in Infrastructure Projects Neill Carruthers

Infrastructure Projects Collaborative Working in Infrastructure Projects Neill Carruthers

Add to Reading List

Source URL: www.networkrail.co.uk

Language: English
904Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich

Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:18
905Bailey, T. M. & Pothos, E. MAGL StimSelect: Software for automated selection of stimuli for artificial grammar learning. Behavior Research Methods, 40(1), ppdoi: BRM <http://dx.doi.o

Bailey, T. M. & Pothos, E. MAGL StimSelect: Software for automated selection of stimuli for artificial grammar learning. Behavior Research Methods, 40(1), ppdoi: BRM Add to Reading List

Source URL: openaccess.city.ac.uk

Language: English - Date: 2014-11-10 09:32:10
906FM 2015 Call for Papers 20th International Symposium on Formal Methods Oslo, Norway, 22–26 June 2015 http://fm2015.ifi.uio.no Formal Methods 2015

FM 2015 Call for Papers 20th International Symposium on Formal Methods Oslo, Norway, 22–26 June 2015 http://fm2015.ifi.uio.no Formal Methods 2015

Add to Reading List

Source URL: fm2015.ifi.uio.no

Language: English - Date: 2014-09-02 17:56:51
907Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino

Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2012-03-18 14:24:37
908Formal Specification and Verification of ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report to EPSRC on grant GR/N13135

Formal Specification and Verification of ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report to EPSRC on grant GR/N13135

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2004-06-09 11:49:11
909BitScope: Automatically Dissecting Malicious Binaries David Brumley, Cody Hartwig, Min Gyung Kang, Zhenkai Liang James Newsome, Pongsin Poosankam, Dawn Song, Heng Yin March 18, 2007 Last Modified: May 23, 2007 CMU-CS-07-

BitScope: Automatically Dissecting Malicious Binaries David Brumley, Cody Hartwig, Min Gyung Kang, Zhenkai Liang James Newsome, Pongsin Poosankam, Dawn Song, Heng Yin March 18, 2007 Last Modified: May 23, 2007 CMU-CS-07-

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
910best practices takes Prospecting

best practices takes Prospecting

Add to Reading List

Source URL: www.stevemcconnell.com

Language: English - Date: 2007-03-02 18:15:07